1. Nonclassical Logics and Information Processing :
پدیدآورنده: edited by David Pearce, Heinrich Wansing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
2. Proof Theory of Modal Logic
پدیدآورنده: edited by Heinrich Wansing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
3. Towards mathematical philosophy
پدیدآورنده: / edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses,Mathematics--Philosophy--Congresses
رده :
QA
,
9
,.
A1
,
T68
,
2008
4. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده: edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
5. What is negation?
پدیدآورنده: edited by Dov M. Gabbay and Heinrich Wansing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Negation (Logic)
رده :
BC199
.
N4
E358
2011
